<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2 Final//EN">
<html>
<head>
<!--

  @(#)ui.console.html

-->
</head>
<body bgcolor="white">

实现Jchecker程序入口.

<h2>Package Specification</h2>

<pre>
ui.console介绍：
ui.console是Jchecker程序入口，而且我们在AppStarter.java中手动给出需要验证的谓词

<!--
<ul>
  <li><a href="">##### REFER TO ANY FRAMEMAKER SPECIFICATION HERE #####</a>
</ul>
-->

<h2>Related Documentation</h2>

有关ui.console设计的其他资料：
<ul>
  <li><a href="./doc-files/ui.console.jpg">ui.console类图</a>
</ul>

<!-- Put @see and @since tags down here. -->

</body>
</html>
